Functional programming Conal Elliott Tabula July 10, 2012

Source URL: conal.net

Seventh International Symposium on Functional and Logic Programming FLOPS 2004 April 7-9, 2004 Nara, Japan

Source URL: logic.cs.tsukuba.ac.jp

v ___________________________________________________________________________ Preface No programming technique solves all problems. No programming language produces only correct results.

Source URL: www.cs.rit.edu

• Software engineering
• Computer programming
• Computing
• Data types
• Object-oriented programming
• C++
• Cross-platform software
• Functional programming
• Const
• Pointer
• Inheritance
• Is-a

The Habit Programming Language: The Revised Preliminary Report The High Assurance Systems Programming Project (Hasp) Department of Computer Science, Portland State University Portland, Oregon 97207, USA November 2010

Source URL: hasp.cs.pdx.edu

• Functional languages
• Functional programming
• Data types
• Type theory
• Procedural programming languages
• Haskell
• Syntax
• Monad
• Type system
• ML
• Programming language
• Type class

Andrew M. Kent Contact Information Lindley Hall 215 Indiana University

Source URL: andmkent.com

• Software engineering
• Programming language theory
• Computing
• Procedural programming languages
• Functional languages
• Gradual typing
• Type system
• Programming language
• Racket
• ALGOL 68
• Io
• Association for Computing Machinery

We Need Real Tools for Generating Type Inferencers William E. Byrd Nada Amin

Source URL: popl-obt-2014.cs.brown.edu

• Software engineering
• Computing
• Software
• Functional programming
• Programming paradigms
• International Conference on Functional Programming
• Domain-specific language
• Compiler
• Type system
• Declarative programming
• Programming language

A Simulation of Niche Construction Kevin B. Korb and Alan Dorin Technical ReportBayesian Intelligence Abstract We report on a simple, generic simulation of niches and their propagation

Source URL: bayesian-intelligence.com

• Programming language theory
• Software engineering
• Ecology
• Computer programming
• Landscape ecology
• Functional languages
• Market segmentation
• Ecological niche
• Habitat
• Lisp
• Niche

Delegate: Showcase 2/3 years old F# Codebase @ ProsaF#unctional Copenhageners Meetup Group (MF#K)

Source URL: files.meetup.com

• Computer programming
• Software engineering
• Declarative programming
• Functional programming
• Monad
• F Sharp
• Function

PathCutter: Severing the Self-Propagation Path of XSS JavaScript Worms in Social Web Networks Yinzhi Cao§ , Vinod Yegneswaran† , Phillip Porras† , and Yan Chen§ , {vinod, porras}@csl

Source URL: www.cs.northwestern.edu

• Computing
• Computer security
• World Wide Web
• Hacking
• Computer worms
• Functional languages
• Web programming
• Cross-site scripting
• XSS worm
• Hypertext Transfer Protocol
• Cross-site request forgery
• JavaScript

GADTs and exhaustiveness: looking for the impossible Jacques Garrigue Nagoya University

Source URL: www.math.nagoya-u.ac.jp

• Software engineering
• Computer programming
• Computing
• Functional languages
• Data types
• Procedural programming languages
• Functional programming
• Type theory
• Generalized algebraic data type
• OCaml
• ML
• Caml